val treat : string -> string -> bool -> unit
